Call for Papers

Icon

Scope

Resilient systems withstand, recover from, and adapt to disruptive changes with acceptable degradation in their provided services. Resilience is particularly important in modern software and software-controlled systems, many of which are required to continually adapt their architecture and parameters in response to evolving requirements, customer feedback, new business needs and platform upgrades. Resilience also has to cover extra-functional behavior: despite frequent changes and disruptions, including unforeseen failures and malicious cyber attacks, systems are expected to function correctly and reliably. This is particularly important for critical services, , e.g., in transportation, healthcare, energy production and e-government. Design for resilience is an increasingly important area of software engineering; new deployment platforms as edge and fog computing and blockchains/distributed ledgers facilitate new resilience techniques, but also pose new challenges.

The SERENE workshop series has a long tradition of bringing together leading researchers and practitioners from academia and industry, to advance the state-of-the-art and to identify open challenges in the software engineering of resilient systems. Since 2015 SERENE has become a part of a major European dependability forum – EDCC. This year, SERENE will be held together with the main EDCC 2022 conference.

Icon

Topics

The SERENE 2022 workshop will provide a forum for researchers and practitioners to exchange ideas on advances in all areas relevant to software engineering for resilient systems, including, but not limited to:

Development of resilient systems
    - Engineering processes for resilient systems
    - Requirements engineering & re-engineering for resilience
    - Frameworks, patterns and software architectures for resilience
    - Engineering of self-adaptive systems
    - Design of trustworthy and intrusion-safe systems
    - Resilience at run-time (mechanisms, reasoning and adaptation)
    - Resilience & dependability (resilience vs. robustness, dependable vs. adaptive systems)


Verification, validation and evaluation of resilience
    - Modelling and model-based analysis of resilience properties
    - Formal and semi-formal techniques for verification and validation
    - Experimental evaluations of resilient systems
    - Quantitative approaches to ensuring resilience
    - Resilience prediction


Case studies & applications
    - Empirical studies in the domain of resilient systems
    - Methodologies adopted in industrial contexts
    - Cloud, edge and fog computing and resilient service provisioning
    - Resilience through and in blockchain and distributed ledger-based applications
    - Resilience for data-driven systems (e.g., big data-based adoption and resilience)
    - Resilient cyber-physical systems and infrastructures
    - Global aspects of resilience engineering: education, training and cooperation


We welcome relevant contributions in the following forms

    - Technical papers describing original theoretical or practical work (max. 11 pages + 1 page only for references)
    - Experience/Industry papers describing practitioner experience or field studies, addressing an application domain and the lessons learned (max. 11 pages + 1 page only for references)
    - PhD Forum papers describing objectives, methodology, and results at an early stage of research (6-8 pages)
    - Project papers describing goals and results of ongoing projects (6-8 pages)
    - Tool papers presenting new tools or new versions of existing tools that support the development of resilient systems (6-8 pages)
    - Position papers on challenges and emerging trends in resilience (6 pages)

Important Dates

Abstract Submission

May, 30th 2022

June, 13th 2022

Paper Submission

June, 6th 2022

June, 13th 2022

Authors Notification

June, 25th 2022

July, 2nd 2022

Camera Ready

July, 3rd 2022

July, 10th 2022

Submission

All submissions should describe, in English, original work that has not been published or submitted for publication elsewhere.
Papers will be evaluated based on originality, contribution to the field, technical and presentation quality, and relevance to the workshop.

PDF versions of the submissions should be submitted electronically via EasyChair.
Please note that the review process is double-blind, so papers submitted for consideration should not include the names of the authors and their affiliations.
EDCC 2022 workshops will be published in Springer Communications in Computer and Information Science (CCIS), abstracted and indexed in, among others, SCOPUS and DBLP.
Authors should consult Springer's authors' guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers.

Corresponding authors of accepted papers, acting on behalf of all of the authors of that paper, should expect that they will have to complete and sign a Consent-to-Publish form.

Program

You can find EDCC workshops proceedings at the following link
https://link.springer.com/book/10.1007/978-3-031-16245-9

09:15 - 09:30 Workshop Presentation

09:30 - 10:30 Session: Papers presentation

Blockchain-based Audit Trail for Sharing Data in a Distributed Environment
Hugo Lloreda Sanchez, Sophie Tysebaert, Annanda Rath, Etienne Rivière

Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering
Megha Quamara, Gabriel Pedroza, Brahim Hamid

10:30 - 11:00 Break

11:00 - 12:15 Keynote speech

A Perspective on Three Decades of Software Robustness Assessment
Nuno Laranjeiro, University of Coimbra, Portugal

Abstract
Robustness is the degree to which a certain system or component can operate correctly in the presence of invalid inputs or stressful environmental conditions. With the increasing complexity and widespread use of computer systems, obtaining assurances regarding their robustness has become of vital importance. This talk discusses the state of the art on software robustness assessment, with emphasis on key aspects like types of systems being evaluated, assessment techniques used, the target of the techniques, the types of faults used, and how system behavior is classified. Gaps and open challenges related with robustness assessment are also presented. The talk concludes with a detailed view of the application of robustness testing techniques to REST services.

At the following link you can find the presentation A Perspective on Three Decades of Software Robustness Assessment

Short Biography
Nuno Laranjeiro received the PhD degree in 2012 from the University of Coimbra, Portugal, where he currently is an Assistant Professor. His research focuses on dependable and secure software services and he currently leads the Software and Systems Engineering group (https://www.cisuc.uc.pt/en/sse) at the Centre for Informatics and Systems of the University of Coimbra (CISUC). His research interests include experimental dependability evaluation, fault injection, robustness and security of software services, web services interoperability, enterprise application integration, blockchain, and integration of machine learning in software engineering processes. He has contributed, as an author, reviewer and program committee member, to leading conferences and journals in the dependability and services computing areas,. Nuno has been involved, in various roles, in the organization of several international events, including multiple editions of the International Symposium on Software Reliability Engineering, the Dependable and Secure Services Workshop/Track (as main chair) jointly organised with the IEEE World Congress on Services. He participated in international research projects, including several H2020 projects (e.g., ADVANCE, DEVASSES, ATMOSPHERE, EUBrasilCloudFORUM) and FP7 projects (CRITICAL STEP, CECRIS), and he is currently mostly involved in developing new techniques towards more reliable cloud systems, developing techniques for evaluating the reliability and security of blockchain smart contracts, and using machine learning techniques for software fault and vulnerability detection.

12:15 - 12:30 Discussion and closing

Committees

Icon

General Chairs

    - Patrizio Pelliccione, Gran Sasso Science Institute, Italy
    - Zoltán Micskei – BME, Hungary

Icon

Organising Committee

    - Martina De Sanctis, Gran Sasso Science Institute, Italy
    - Kocsis Imre, Budapest University of Technology and Economics, Hungary

Icon

Program Committee

    - Marco Autili, University of L’Aquila, Italy
    - Georgios Bouloukakis, Telecom, Sud Paris, France
    - Radu Calinescu, University of York, United Kingdom
    - Andrea Ceccarelli, University of Florence, Italy
    - Felicita Di Giandomenico, CNR-ISTI, Italy
    - Carlos Gavidia-Calderon, The Open University, United Kingdom
    - Nikolaos Georgantas, Inria, France
    - Simos Gerasimou, University of York, United Kingdom
    - Jérémie Guiochet, Université de Toulouse3 LAAS-CNRS, France
    - Linas Laibinis, Vilnius University, Lithuania
    - Istvan Majzik, Budapest University of Technology and Economics (BME), Hungary
    - Paolo Masci, National Institute of Aerospace, Langley Research Center, USA
    - Henry Muccini, University of L’Aquila, Italy
    - András Pataricza, Budapest University of Technology and Economics (BME), Hungary
    - Cristina Seceleanu, Malardalen University, Sweden
    - Alin Stefanescu, University of Bucharest, Romania
    - Elena Troubitsyna, KTH Royal Institute of Technology, Sweden
    - Karthik Vaidhyanathan, University of L’Aquila, Italy
    - Marco Vieira, University of Coimbra, Portugal
    - Apostolos Zarras, University of Ioannina, Greece
    - Riccardo Pinciroli, Gran Sasso Science Institute, Italy

Icon

Web Chair

    - Amleto Di Salle, University of L’Aquila, Italy